DEFINED_PHASES=install postinst postrm prepare
DEPEND=isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= ) >=app-portage/elt-patches-20170317
DESCRIPTION=An Automated Theorem Prover for First-Order Logic with Equality
EAPI=5
HOMEPAGE=http://www.spass-prover.org/
IUSE=doc examples isabelle
KEYWORDS=~amd64 ~x86
LICENSE=BSD-2
RDEPEND=isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= )
SLOT=0/3.7
SRC_URI=http://www.spass-prover.org/download/sources/spass37.tgz
_eclasses_=epatch	8233751dc5105a6ae8fcd86ce2bb0247	epunt-cxx	e99babeaa7d98c1caaa6a61a79902210	estack	5ac2a138d0b33354b764d84f9e835db8	eutils	1fb064d93b3ffd05c2fb19ef430a4aa1	ltprune	2770eed66a9b8ef944714cd0e968182e	multilib	97f470f374f2e94ccab04a2fb21d811e	toolchain-funcs	6eb35f81556258a4bc9182ad3dfd58ee	versionator	c80ccf29e90adea7c5cae94b42eb76d0
_md5_=b41ab02a45003a536afc4062255aa2c8
